Aspects of the Proof-assistant Yarrow

نویسنده

  • Jan Zwanenburg
چکیده

Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. It ooers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concentrate on the software architecture of Yarrow, in particular the coupling of user interface and proof engine. We also treat the presentation of proofs in the ag-style format.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The proof-assistant Yarrow

Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. Yarrow has been designed as a flexible environment for experimentation with various typed lambda calculi. It offers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concent...

متن کامل

The Proof-assistant

Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. Yarrow has been designed as a exible environment for experimentation with various typed lambda calculi. It ooers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concentrat...

متن کامل

Effect of savory and yarrow on spermatogenesis in adult mice undergoing chemotherapy Cyclosporine

Spermatogenesis process during which the male germ cells are produced at each stage of the disorder, it can lead to infertility. The aim of this study was to evaluate the effect of fennel and yarrow on spermatogenesis in adult micereceiving chemotherapy is cyclosporine. For this study, 32 male Wistar rats with an average weight of 20 ± 200 g were randomly divided into four groups (control, cycl...

متن کامل

An in vitro study of the effects of Yarrow, Chamomile and Rhubarb herbal extracts on candida albicans and common oral bacteria

An in vitro study of the effects of Yarrow, Chamomile and Rhubarb herbal extracts on candida albicans and common oral bacterial Dr. Z. Atai* - Dr. H. Abdolahi** - Dr. S. Naderi Poor*** - Dr. S. Mohamadi*** *- Assistant Professor of Diagnosis & Oral Diseases Dept. Faculty of Dentistry – Kerman University of Medical Sciences. **- Assistant Professor of Microbiology Dept. Faculty of Medicine, Kerm...

متن کامل

Effect of savory and yarrow on spermatogenesis in adult mice undergoing chemotherapy Cyclosporine

Spermatogenesis process during which the male germ cells are produced at each stage of the disorder, it can lead to infertility. The aim of this study was to evaluate the effect of fennel and yarrow on spermatogenesis in adult micereceiving chemotherapy is cyclosporine. For this study, 32 male Wistar rats with an average weight of 20 ± 200 g were randomly divided into four groups (control, cycl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998